алгебра с замыканием

См. также в других словарях:

• АЛГЕБРА ФУНКЦИИ — полупростая коммутативная банахова алгебра А , реализованная в виде алгебры непрерывных функций на пространстве максимальных идеалов. Если и f нек рая функция, определенная на спектре элемента а(т. е. на множестве значений функции есть нек рая… …   Математическая энциклопедия

• Замыкание (алгебра) — У этого термина существуют и другие значения, см. Замыкание. Замыкание в алгебре  это замыкание относительно алгебраических операций. Определение Пусть   подмножество некоторой алгебраической структуры (например, группы или кольца).… …   Википедия

• КАРТАНА МЕТОД ВНЕШНИХ ФОРМ — дифференциально алгебраический метод исследования систем дифференциальных уравнений и многообразий с различными структурами. Алгебраич. основу метода составляет алгебра Грассмана. Пусть Vесть 2n мерное векторное пространство над произвольным… …   Математическая энциклопедия

• Многозначная логика —         раздел математической логики (См. Математическая логика), изучающий математические модели логики высказываний (См. Логика высказываний). Эти модели отражают две основные черты последней множественность значений истинности высказываний и… …   Большая советская энциклопедия

• АЛГЕБРАИЧЕСКИ ЗАМКНУТОЕ ПОЛЕ — поле А:, в к ром всякий многочлен ненулевой степени над kимеет хотя бы один корень. В действительности, из алгебраич. замкнутости поля будет следовать, что каждый многочлен степени пнад kимеет в kровно пкорней, т. е. каждый неприводимый многочлен …   Математическая энциклопедия

• СОВЕРШЕННОЕ ПОЛЕ — поле k, любой многочлен над к рым сепарабелен. Иначе говоря, любое алгебраич. расширение поля k сепарабельное расширение. Все остальные поля наз. несовершенными. Все поля характеристики 0 совершенны. Поле kконечной характеристики рсовершенно… …   Математическая энциклопедия

• Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые… …   Википедия

• НЕПРИВОДИМЫЙ МНОГОЧЛЕН — многочлен от ппеременных над полем к, являющийся простым элементом кольца т. е. непредставимый в виде произведения , где gи h многочлены с коэффициентами из k, отличные от константы (неприводимость над k). Многочлен наз. абсолютно неприводимым,… …   Математическая энциклопедия

• ЦЕЛОЕ РАСШИРЕНИЕ — кольца расширение Bкоммутативного кольца Ас единицей такое, что любой элемент является целым над A, т. е. удовлетворяет нек рому уравнению вида где называемому уравнением целой зависимости. Элемент хцел над Атогда и только тогда, когда… …   Математическая энциклопедия

• Неприводимый многочлен — многочлен, неразложимый на нетривиальные (неконстантные) многочлены. Неприводимые многочлены являются неприводимыми элементами кольца многочленов. Содержание 1 Определение 2 Свойства 3 Примеры …   Википедия

• ЗАМЫКАНИЯ ОТНОШЕНИЕ — в частично упорядоченном множестве М однозначное отображение множества Мв себя, сопоставляющее каждому элементу некоторый элемент наз. замыканием элемента а, и удовлетворяющее следующим аксиомам: 1) 2) если то 3) Элемент аназ. замкнутым, если он… …   Математическая энциклопедия